%tesi francy??!!!
\documentclass[12pt,a4paper,twoside,openright]{book}

\usepackage[english]{babel}
\usepackage[latin9]{inputenc}

\usepackage{acronym}
\usepackage{graphicx}
\usepackage{frontesp}
\usepackage{rotating}
\usepackage[small,anne]{caption}    % abbellisce lo stile delle didascalie
\usepackage{fancyhdr}
\usepackage{fancybox}
\usepackage{amssymb}
\usepackage[cmex10]{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{algorithmic}

\usepackage{epsfig}

\usepackage{makeidx}
\headheight 15pt

\author{Francesca Malcotti}


% Theorem
\newtheorem{definition}{Definition}

\linespread{1.5}
\makeindex
\begin{document}

\title{Effects of Speculative Execution and SSA-based Dataflow Analysis on High Level Synthesis}
\providecommand{\autore}{Francesca Malcotti}
\providecommand{\matricola}{673269}
\providecommand{\principaladviser}{Prof.~Fabrizio FERRANDI}
\providecommand{\firstreader}{Ing.~Christian Pilato}
\newcommand{\alglabel}[1]{\newcounter{#1}\setcounter{#1}{\value{ALC@line}}}
\newcommand{\algref}[1]{\arabic{#1}}
\providecommand{\annoacc}{2006-2007}
\providecommand{\corso}{Informatica}

\titlep

\frontmatter
%\input{chapters/frontespizio/dedica}


\cleardoublepage

%\nocite{*}
\linespread{1.3}
\newpage
\setcounter{tocdepth}{2}
\pagenumbering{Roman}
\tableofcontents

%\listoffigures
%\addcontentsline{toc}{chapter}{List of figures}

%\listoftables
%\addcontentsline{toc}{chapter}{List of tables}

\chapter*{Acronyms}
\begin{acronym}
\acro{ASAP}{As Soon As Possible}
\acro{ALAP}{As Late As Possible}
\acro{ALU}{Arithmetic Logic Unit}
\acro{CDFG}{Control/Data Flow Graph}
\acro{CDG}{Control Dependence Graph}
\acro{CFG}{Control Flow Graph}
\acro{DFG}{Data Flow Graph}
\acro{FF}{Flip Flop}
\acro{GA}{Genetic Algorithm}
\acro{HLS}{High-Level Synthesis}
\acro{HTG}{Hierarchical Task Graph}
\acro{HLSM}{High-Level Synthesis Machine}
\acro{ILP}{Integer Linear Programming}
\acro{IR}{Intermediate Representation}
\acro{FDS}{Force Directed Scheduling}
\acro{FPGA}{Field Programmable Gate Array}
\acro{FSM}{Finite State Machine}
\acro{FSMD}{Finite State Machine with Datapath architecture}
\acro{FSMG}{Finite State Machine Graph}
\acro{LUT}{Look-Up Table}
\acro{MOA}{Multi-objective Optimization Algorithm}
\acro{NFA}{Non-deterministic Finite Automata}
\acro{PLA}{Programmable Logic Array}
\acro{RTL}{Register Transfer Level}
\acro{SDG}{System Dependence Graph}
\acro{SSA}{Static Single-Assignment}
\acro{VLSI}{Very Large Scale Integration}
\acro{XML}{eXtensible Markup Language}
\end{acronym}

\clearpage

\pagestyle{fancy}
%\fancyhead[r]{\slshape \leftmark}
%\fancyhead[l]{}
\fancyhead[el,or]{\slshape \leftmark}
\fancyhead[er,ol]{}

% \fancyhf{}
% \fancyhead[LE,RO]{\textbf{\thepage}}
% \fancyhead[RE]{\nouppercase{\leftmark}}
% \fancyhead[LO]{\rightmark}
% \renewcommand{\headrulewidth}{0.5pt}
% \renewcommand{\footrulewidth}{0.5pt}

\mainmatter

\input{chapters/introduction/introduzione} %--> estratto in italiano
\input{chapters/introduction/introduction}
\input{chapters/hls/hls}
\input{chapters/preliminaries/preliminaries}
\input{chapters/soa/soa}
\input{chapters/proposed_algorithm/proposed_algorithm}
\input{chapters/results/results}
\input{chapters/conclusions/conclusions}

\clearpage \lhead{} \chead{} \rhead{}
\renewcommand{\headrulewidth}{0pt}
%\input{chapters/frontespizio/ringraziamenti}

\clearpage \addcontentsline{toc}{chapter}{Bibliography}
\bibliographystyle{abbrv}
\bibliography{chapters/biblio/biblio}

%\printindex

\end{document}
